Falcone, Yliés: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Enforcement monitoring wrt. the safety-progress classification of properties

Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent

Year:

2009

Language:

english

File:

PDF, 469 KB

english, 2009

2

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Applying Runtime Monitoring for Automotive Electronic Development

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

3

j-POST: a Java Toolchain for Property-Oriented Software Testing

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 390 KB

english, 2008

4

[Lecture Notes in Computer Science] Lectures on Runtime Verification Volume 10457 || Discovering Concurrency Errors

Bartocci, Ezio, Falcone, Yliès

Year:

2018

Language:

english

File:

PDF, 395 KB

english, 2018

5

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework

El-Hokayem, Antoine, Falcone, Yliès, Jaber, Mohamad

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1.48 MB

english, 2018

6

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Some Thoughts on Runtime Verification

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 188 KB

english, 2016

7

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Falcone, Yliès, Jaber, Mohamad, Nguyen, Thanh-Hung, Bozga, Marius, Bensalem, Saddek

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

8

Decentralised LTL monitoring

Bauer, Andreas, Falcone, Yliès

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 826 KB

english, 2016

9

Decentralized enforcement of document lifecycle constraints

Hallé, Sylvain, Khoury, Raphaël, Betti, Quentin, El-Hokayem, Antoine, Falcone, Yliès

Journal:

Information Systems

Year:

2017

Language:

english

File:

PDF, 2.48 MB

english, 2017

10

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Interactive Runtime Verification — When Interactive Debugging Meets Runtime Verification

Jakse, Raphael, Falcone, Ylies, Mehaut, Jean-Francois, Pouget, Kevin

Year:

2017

Language:

english

File:

PDF, 568 KB

english, 2017

11

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Runtime Verification for HyperLTL

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 138 KB

english, 2016

12

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Compensation-Aware Runtime Monitoring

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

13

Runtime enforcement of regular timed properties by suppressing and delaying events

Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Pinisetty, Srinivas

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.82 MB

english, 2016

14

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 741 KB

english, 2016

15

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Runtime enforcement for component-based systems

Charafeddine, Hadil, El-Harake, Khalil, Falcone, Yliès, Jaber, Mohamad

Year:

2015

Language:

english

File:

PDF, 1024 KB

english, 2015

16

A high-level modeling language for the efficient design, implementation, and testing of Android applications

Jaber, Mohamad, Falcone, Yliès, Dak-Al-Bab, Kinan, Abou-Jaoudeh, John, El-Katerji, Mostafa

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 1.24 MB

english, 2016

17

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud

Falcone, Yliès, Currea, Sebastian

Year:

2012

Language:

english

File:

PDF, 994 KB

english, 2012

18

Fully automated runtime enforcement of component-based systems with formal and sound recovery

Falcone, Yliès, Jaber, Mohamad

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

19

Runtime Enforcement of Parametric Timed Properties with Practical Applications

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 825 KB

english, 2014

20

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - THEMIS: a tool for decentralized monitoring algorithms

El-Hokayem, Antoine, Falcone, Yliès

Year:

2017

Language:

english

File:

PDF, 487 KB

english, 2017

21

[Lecture Notes in Computer Science] Lectures on Runtime Verification Volume 10457 || Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Bartocci, Ezio, Falcone, Yliès

Year:

2018

Language:

english

File:

PDF, 1.54 MB

english, 2018

22

What can you verify and enforce at runtime?

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1007 KB

english, 2012

23

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Runtime enforcement of regular timed properties

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé

Year:

2014

Language:

english

File:

PDF, 972 KB

english, 2014

24

Predictive Runtime Verification of Timed Properties

Pinisetty, Srinivas, Jéron, Thierry, Tripakis, Stavros, Falcone, Yliès, Marchand, Hervé, Preoteasa, Viorel

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 905 KB

english, 2017

25

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || TrackOS: A Security-Aware Real-Time Operating System

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 890 KB

english, 2016

26

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Input Attribution for Statistical Model Checking Using Logistic Regression

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 652 KB

english, 2016

27

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Runtime enforcement using Büchi games

Renard, Matthieu, Rollet, Antoine, Falcone, Yliès

Year:

2017

Language:

english

File:

PDF, 798 KB

english, 2017

28

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 212 KB

english, 2016

29

Organising LTL monitors over distributed systems with a global clock

Colombo, Christian, Falcone, Yliès

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 4.97 MB

english, 2016

30

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Quantitative Monitoring of STL with Edit Distance

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 988 KB

english, 2016

31

Optimal enforcement of (timed) properties with uncontrollable events

RENARD, MATTHIEU, FALCONE, YLIÈS, ROLLET, ANTOINE, JÉRON, THIERRY, MARCHAND, HERVÉ

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 1019 KB

english, 2017

32

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 ||

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 20.81 MB

english, 2016

33

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 456 KB

english, 2016

34

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Fault localization in embedded software based on a single cyclic trace

Amiar, Azzeddine, Delahaye, Mickael, Falcone, Ylies, du Bousquet, Lydie

Year:

2013

Language:

english

File:

PDF, 813 KB

english, 2013

35

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Monitoring decentralized specifications

El-Hokayem, Antoine, Falcone, Yliès

Year:

2017

Language:

english

File:

PDF, 288 KB

english, 2017

36

[Lecture Notes in Computer Science] Lectures on Runtime Verification Volume 10457 || Introduction to Runtime Verification

Bartocci, Ezio, Falcone, Yliès

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

37

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Runtime enforcement of K-step opacity

Falcone, Ylies, Marchand, Herve

Year:

2013

Language:

english

File:

PDF, 474 KB

english, 2013

38

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || Runtime Visualization and Verification in JIVE

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 956 KB

english, 2016

39

[IEEE 2016 IEEE 20th International Enterprise Distributed Object Computing Conference (EDOC) - Vienna, Austria (2016.9.5-2016.9.9)] 2016 IEEE 20th International Enterprise Distributed Object Computing Conference (EDOC) - Decentralized Enforcement of Artifact Lifecycles

Halle, Sylvain, Khoury, Raphael, El-Hokayem, Antoine, Falcone, Ylies

Year:

2016

Language:

english

File:

PDF, 254 KB

english, 2016

40

[Lecture Notes in Computer Science] Lectures on Runtime Verification Volume 10457 || Runtime Verification for Decentralised and Distributed Systems

Bartocci, Ezio, Falcone, Yliès

Year:

2018

Language:

english

File:

PDF, 630 KB

english, 2018

41

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliès, Francalanza, Adrian, Krstić, Srdan, Lourenço, João M., Nickovic, Dejan,

Journal:

Formal Methods in System Design

Year:

2019

File:

PDF, 141 KB

2019

42

Runtime enforcement of timed properties revisited

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Rollet, Antoine, Nguena Timo, Omer

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 809 KB

english, 2014

43

[Lecture Notes in Computer Science] Runtime Verification Volume 10012 || On the Complexity of Monitoring Orchids Signatures

Falcone, Yliès, Sánchez, César

Year:

2016

Language:

english

File:

PDF, 564 KB

english, 2016

44

Enforcement and validation (at runtime) of various notions of opacity

Falcone, Yliès, Marchand, Hervé

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

45

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Statistical Model Checking: An Overview

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

46

[IEEE 2015 Euromicro Conference on Digital System Design (DSD) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 Euromicro Conference on Digital System Design - Dynamic Detection and Mitigation of DMA Races in MPSoCs

Saidi, Selma, Falcone, Ylies

Year:

2015

Language:

english

File:

PDF, 206 KB

english, 2015

47

Introduction to the special issue on runtime verification

Falcone, Yliès, Sánchez, César

Journal:

Formal Methods in System Design

Year:

2018

Language:

english

File:

PDF, 353 KB

english, 2018

48

More testable properties

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.73 MB

english, 2012

49

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.67 MB

english, 2011

50

A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliés, Francalanza, Adrian, Krstić, Srđan, Lourenço, Joa̋o M., Nickovic, Dejan,

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 653 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски